From e3fafd75129f393b84e8c63f02742cf576abbe40 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Javier=20Jard=C3=B3n?= Date: Mon, 13 Sep 2010 02:46:46 +0200 Subject: [PATCH] docs: Fix gdk_display_get_core_pointer() docs Point to gdk_device_manager_get_client_pointer(), not gdk_display_get_client_pointer(). --- gdk/gdkdisplay.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c index 3b6ae83600..dc1c5c8f04 100644 --- a/gdk/gdkdisplay.c +++ b/gdk/gdkdisplay.c @@ -623,7 +623,7 @@ gdk_event_send_clientmessage_toall (GdkEvent *event) * Return value: the core pointer device; this is owned by the * display and should not be freed. * - * Deprecated: 3.0: Use gdk_display_get_client_pointer() instead, or + * Deprecated: 3.0: Use gdk_device_manager_get_client_pointer() instead, or * gdk_event_get_device() if a #GdkEvent with pointer device * information is available. **/ @@ -644,7 +644,7 @@ gdk_device_get_core_pointer (void) * * Since: 2.2 * - * Deprecated: 3.0: Use gdk_display_get_client_pointer() instead, or + * Deprecated: 3.0: Use gdk_device_manager_get_client_pointer() instead, or * gdk_event_get_device() if a #GdkEvent with device * information is available. **/ -- 2.30.2